Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
141	PARI-GP Reference Card (PARI-GP versionNote: optional arguments are surrounded by braces {}. To start the calculator, type its name in the terminal: gp To exit gp, type quit, \q, or at prompt. Add to Reading List Source URL: pari.math.u-bordeaux.fr Language: English - Date: 2014-01-29 14:49:21 Differential calculus Ordinary differential equations Generalizations of the derivative Mathematical series Derivative Differential equation Differential of a function Algebraic number field Bernoulli polynomials Mathematical analysis Mathematics Calculus
142	Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-27 20:45:29 Arrays Array data type Array data structure Equivalence relation C Uninterpreted function Weak equivalence Bit array Satisfiability Modulo Theories Computing Software engineering Computer programming
143	An introduction to gp2c By Bill Allombert and Ariel Pacetti February 22, 2012 Contents 1 What is gp2c? Add to Reading List Source URL: pari.math.u-bordeaux.fr Language: English - Date: 2012-02-22 04:04:50 Type theory PARI/GP Portable software C++ Declaration Type system C++ classes Function Variable Software Computing Data types
144	Recommended Rotational Speeds for Mineral Exploration Bits The following table defines the recommended rotational speed ranges for various common bit sizes as a function of cutting media type: Bit Size Add to Reading List Source URL: www.dimatec.com Language: English - Date: 2011-10-13 17:09:13 Manufacturing Matter Ceramic materials Metalworking terminology Speeds and feeds Woodworking Tungsten carbide Rotational speed Silicon carbide Chemistry Carbides Superhard materials
145	EasyView™ Dual Input Thermometers Choice of Basic Type K or Datalogger model Datalogger model compatible with 7 Types of Thermocouples Features: • Compact and rugged design Add to Reading List Source URL: lib.store.yahoo.net Language: English - Date: 2008-07-30 11:28:37 Measuring instruments Engineering Sensors Heating ventilating and air conditioning Thermocouple Temperature Celsius Function Measurement Technology Thermometers
146	Runtime metaprogramming via java.lang.invoke.MethodHandle c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia May 14th , 2012 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2012-05-14 04:06:58 Java programming language Subroutines Data types Cross-platform software Java virtual machine Just-in-time compilation Java syntax Type conversion Anonymous function Software engineering Computing Computer programming
147	Package ‘BiocParallel’ May 22, 2015 Type Package Title Bioconductor facilities for parallel evaluation VersionDescription This package provides modified versions and novel Add to Reading List Source URL: bioconductor.org Language: English - Date: 2015-05-30 15:08:28 Subroutines Bioconductor Bioinformatics Null R Is functions C Fold Function Computing Software engineering Software
148	RESISTANCE TO FIRE CLASSIFICATION REPORT FOR PRODUCT FIRES-CRAUPE Cables with integrity function FE180/E90 Type – (N)HXH, (N)HXCH, HTKSH, HTKSHekw This is an electronic version of a classification report which Add to Reading List Source URL: www.baks.com.pl Language: English - Date: 2009-09-02 10:25:34 E30 Circuit integrity Cables Cable tray Cable
149	CHIEF EXECUTIVE OFFICER POSITION ANNOUNCEMENT Position Title: Type: Function: Reports To: Salary Range: Add to Reading List Source URL: about.extension.org Language: English Business Agriculture in the United States Chief operating officer Cooperative extension service Private law Board of directors Alabama Cooperative Extension System Cooperative State Research Education and Extension Service Corporate governance Management Rural community development
150	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics

UPDATE